Temporal theory - PDFSEARCH.IO - Document Search Engine

Temporal theory
Results: 595

#	Item
241	Spurious Disambiguation Error Detection Claudio Sacerdoti Coen and Stefano Zacchiroli Department of Computer Science, University of Bologna [removed], [removed] Abstract. The disambiguation appro Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2007-10-20 06:44:53 Interpretation Philosophy of language Philosophy of mind Semantics Symbol Structure Linguistics Golden ratio base Linear temporal logic Model theory Mathematics Logic
242	LTL-Model-Checking via Model Composition Ingo Felscher RWTH Aachen University, 52074 Aachen, Germany, [removed], http://automata.rwth-aachen.de/~felscher/ Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2013-03-01 05:03:49 Temporal logic Automata theory Model checking Model theory First-order logic Symbol Constructible universe Büchi automaton Well-formed formula Logic Mathematical logic Linear temporal logic
243	Temporal Adverbials and Stereotypical Intervals Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:29 Discourse representation theory Grammatical aspect Past tense Verb argument If and only if Adverbial Negation Lunch Linguistics Grammar Semantics
244	Feature Selection Using Regularization in Approximate Linear Programs for Markov Decision Processes Marek Petrik* [removed] Gavin Taylor† Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2010-05-21 10:45:03 Linear temporal logic Functional analysis Distribution Representation theory
245	Application of Spatial-Temporal Fractions Skill Score to high-resolution ensemble forecast verification Le Duc , Kazuo Saito , Hiromu Seko 1 1 Add to Reading List Source URL: cawcr.gov.au Language: English - Date: 2011-12-11 21:05:04 Science Control theory Data assimilation Estimation theory Earth Meteorology Weather prediction Statistical forecasting Statistics
246	Logic and Automata over Infinite Trees Der Fakult¨at f¨ ur Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westf¨alischen Technischen Hochschule Aachen Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:56 Formal languages Combinatorics on words Mathematical logic Models of computation Linear temporal logic Finite-state machine Tree automaton Parity game Alphabet Automata theory Mathematics Theoretical computer science
247	Games and Automata for Verification ¨ Christof Loding RWTH Aachen, Germany 2009 Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-05-29 10:55:52 Automata theory Tree Linear temporal logic Temporal logic Model checking
248	UNIVERSITY OF CALIFORNIA, IRVINE Social and Temporal Structures in Everyday Collaboration DISSERTATION submitted in partial satisfaction of the requirements Add to Reading List Source URL: drzaius.ics.uci.edu Language: English - Date: 2004-07-31 12:14:15 Collaboration Social information processing Groupware Human–computer interaction Multimodal interaction Computer-supported cooperative work Visualization Social network Attachment theory Science Behavior Ethology
249	Linear temporal logic for regular cost functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-10-25 13:52:51
250	Spatio-temporal Dynamics: Challenges in Biological Fluorescence Data[removed]July 2010 Warwick Mathematics Institute http://go.warwick.ac.uk/FLUO2010 Add to Reading List Source URL: www2.warwick.ac.uk Language: English - Date: 1970-01-01 18:00:00 Thought Complex adaptive system École Polytechnique Fédérale de Lausanne Mind Science Ethology Complex systems theory Analysis Critical thinking

UPDATE